Eskolemization in Intuitionistic Logic
نویسندگان
چکیده
منابع مشابه
Eskolemization in Intuitionistic Logic
In [2] an alternative skolemization method called eskolemization was introduced that is sound and complete for existence logic with respect to existential quantifiers. Existence logic is a conservative extension of intuitionistic logic by an existence predicate. Therefore eskolemization provides a skolemization method for intuitionistic logic as well. All proofs in [2] were semantical. In this ...
متن کاملIntuitionistic Logic
There are basically two ways to view intuitionistic logic: (i) as a philosoph ical–foundational issue in mathematics, (ii) as a technical discipline within mathematical logic. Let us deal with the philosophical aspects first, they will provide the motivation for the subject. In doing so, we will follow L.E.J. Brouwer, the founding father of intuitionism. Brouwer did contribute little to intuiti...
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملTowards CERes in intuitionistic logic
Cut-elimination, introduced by Gentzen, plays an important role in automating the analysis of mathematical proofs. The removal of cuts corresponds to the elimination of intermediate statements (lemmas), resulting in an analytic proof. CERes is a method of cut-elimination by resolution that relies on global proof transformations, in contrast to reductive methods, which use local proof-rewriting ...
متن کاملIntuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2009
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exp040